-
1 existence quantifier
Большой англо-русский и русско-английский словарь > existence quantifier
-
2 existence quantifier
-
3 quantifier
1) квантор
2) кванторный
– bounded quantifier
– existence quantifier
– existential quantifier
– generality quantifier
– notchless quantifier -
4 existence
1) существование
2) наличие
– existence of a solution
– existence proof
– existence quantifier
– existence theorem
– global existence
existence and uniqueness of solution — существование и единственность решения
См. также в других словарях:
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia
quantifier — [ kɑ̃tifje ] v. tr. <conjug. : 7> • 1897; angl. to quantify (1840); lat. médiév. quantificare 1 ♦ Log. Attribuer une quantité à (un terme). 2 ♦ Attribuer une grandeur mesurable à (un phénomène). Quantifier le coût d une mesure sociale. 3 ♦… … Encyclopédie Universelle
Existence — For other uses, see Existence (disambiguation). Philosophy … Wikipedia
quantifier d'existence — egzistavimo kvantorius statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квантор существования, m pranc. quantifier d existence, m … Automatikos terminų žodynas
Existence theorem — In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .. , or more generally for all x, y, ... there exist(s) ... . That is, in more formal terms of symbolic logic, it is a theorem with a statement involving… … Wikipedia
existence — For the question of why there is something and not nothing, see being . The modern treatment of existence in the theory of quantification is sometimes put by saying that existence is not a predicate. The idea is that the existential quantifier is … Philosophy dictionary
existential quantifier — noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true • Syn: ↑existential operator • Hypernyms: ↑quantifier, ↑logical quantifier … Useful english dictionary
existential quantifier — egzistavimo kvantorius statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квантор существования, m pranc. quantifier d existence, m … Automatikos terminų žodynas
L'origine des espèces au moyen de la sélection naturelle ou Lutte pour l'existence dans la nature — L Origine des espèces L origine des espèces, 1859 L Origine des espèces par le moyen de la sélection naturelle, ou la préservation des races favorisées dans la lutte pour la vie (Titre anglais original : On the Origin of Species by Means of… … Wikipédia en Français
Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… … Wikipedia
Temps — Pour les articles homonymes, voir Temps (homonymie). Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther. Le temps … Wikipédia en Français
